کتابخانه آیت‌الله مرعشی نجفی گنجینه‌ای ارزشمند برای میراث علمی ایران و متعلق به همه دنیاست